terminal_of_truths Ailann_ is here: